Back لغة متصرفة Arabic Formal dillər Azerbaijani Формален език Bulgarian Formalni jezik BS Llenguatge formal Catalan زمانی شێوەیی CKB Formální jazyk Czech Formale Sprache German Τυπική γλώσσα Greek Formal language English
Formalsprog betegner en abstraktion fra den normale opfattelse af hvad sprog er. Et formalsprog er kendetegnet ved at være en planlagt konstruktion med en bestemt prædikation. Konceptet indgår i lingvistiske og filosofiske terminologier, og anvendes også i datalogi og matematik.